Abstract syntax - PDFSEARCH.IO - Document Search Engine

Abstract syntax
Results: 599

#	Item
521	Inferring the Proof Process Andrius Velykis School of Computing Science, Newcastle University, UK [removed] Abstract. This PhD project aims to investigate how enough information can be collected fr Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2014-04-07 06:29:40 Theoretical computer science Formal methods Proof theory Logical syntax Logical truth Mathematical proof Isabelle Proof assistant IsaPlanner Logic Automated theorem proving Mathematics
522	Business Justification for the development of new ISO[removed]financial repository items Note: the purpose of this document is to give guidelines to organisations that want to develop new candidate ISO[removed]models. Such r Add to Reading List Source URL: www.iso20022.org Language: English - Date: 2013-11-29 12:13:42 Financial regulation ISO 20022 Computer file formats Electronic documents Email Abstract Syntax Notation One XML Computing OSI protocols Market data
523	Microsoft Word - GARMIS-GMV-6160-O-6162-U-V3A EDAS_CS_UM.doc Add to Reading List Source URL: www.gsa.europa.eu Language: English - Date: 2013-02-21 18:11:21 Gene expression RNA splicing Spliceosome EDAS Abstract Syntax Notation One RTCM Personal digital assistant Technology Science Biology Mobile computers Biological databases
524	ISO[removed]Supplementary Data Frequently Asked Questions Version 1.5 Date: May 2013 Add to Reading List Source URL: www.iso20022.org Language: English - Date: 2013-05-23 07:02:35 Information Markup languages Computer file formats XML ISO 10303 Film speed Abstract Syntax Notation One EbXML National Information Exchange Model Computing OSI protocols Technical communication
525	Microsoft Word - DevelopmentSuggestions.docx Add to Reading List Source URL: www.gsa.europa.eu Language: English - Date: 2013-02-21 18:11:18 Biology Biological databases Gene expression RNA splicing Spliceosome Abstract Syntax Notation One EDAS RTCM Networked Transport of RTCM via Internet Protocol Technology GPS Science
526	Microsoft Word - abstract-s-4.doc Add to Reading List Source URL: www.salt17.uconn.edu Language: English - Date: 2007-03-06 22:45:27 Syntax Nomenclature Noun Relational noun Plural Linguistics Grammatical number Grammar
527	Having Need and Needing Have Stephanie Harves and Richard S. Kayne Abstract A survey of a number of the world’s languages reveals that only those languages that have a transitive verb used to express possession (i.e., Add to Reading List Source URL: as.nyu.edu Language: English - Date: 2012-04-13 23:44:25 Transitive verb Verb Nominative case Subject Accusative case Grammar Nominative–accusative language Linguistics Grammatical cases Syntax
528	TCI/TRI Quick Reference Card (www.blukaktus.com), V0[removed] of 8 Add to Reading List Source URL: www.blukaktus.com Language: English - Date: 2014-06-22 06:30:47 Software testing TTCN-3 TTCN Abstract Syntax Notation One Boolean data type Java Computing Software engineering Computer programming
529	Phase theory and prosodic spellout: The case of verbs1 ANGELIKA KRATZER AND ELISABETH SELKIRK Abstract Add to Reading List Source URL: udrive.oit.umass.edu Language: English - Date: 2009-05-06 15:00:46 Prosody Syntactic categories Systemic functional linguistics Focus Prosodic unit Stress Pitch accent Syntax Verb phrase Linguistics Phonology Phonetics

UPDATE